Specifications of Physical-Human-Technical Systems for Solving Constructive Problems
نویسندگان
چکیده
منابع مشابه
Constructive Specifications for Compositional Units
In previous work, we have introduced a model-theoretic semantics for compositional units, i.e. reusable units that can be used for compositional program development. Such units contain open (logic) programs and our modeltheoretic semantics characterizes their correctness and the correctness of their composition. However, for real-world software development, compositional units should be inter-o...
متن کاملPhysical Systems as Constructive Logics
This paper is an investigation of S. Wolfram’s Principle of Computational Equivalence’ – that (discrete) systems in the natural world should be thought of as performing computations. We take a logical approach, and demonstrate that under almost trivial (physically reasonable) assumptions, discrete evolving physical systems give a class of logical models. Moreover, these models are of intuitioni...
متن کاملSolving Modeling Problems with Machine Learning -- A Classification Scheme of Model Learning Approaches for Technical Systems
The manual creation and maintenance of appropriate behavior models is a key problem of model-based development for technical systems such as vehicles or production systems. Currently, two main approaches are considered promising to overcome this bottleneck: (a) The fields of software and system engineering try to develop better methods and tools to synthesize models manually. (b) The field of m...
متن کاملSolving Inverse Problems for Mechanistic Systems
Number of Papers published in peer-reviewed journals: Number of Papers published in non peer-reviewed journals: Final Report: Solving Inverse Problems for Mechanistic Systems Biology Models with Unknown Inputs Report Title The goal of the proposed project is to develop and test the feasibility of a novel approach to solve the inverse problem for a class of systems arising from systems biology s...
متن کاملAn efficient approach for solving layout problems
This paper offers an approach that could be useful for diverse types of layout problems or even area allocation problems. By this approach there is no need to large number of discrete variables and only by few continues variables large-scale layout problems could be solved in polynomial time. This is resulted from dividing area into discrete and continuous dimensions. Also defining decision var...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Intellekt. Sist. Proizv.
سال: 2019
ISSN: 2410-9304,1813-7911
DOI: 10.22213/2410-9304-2018-4-75-81